Formally sound implementations of security protocols with JavaSPI
نویسندگان
چکیده
منابع مشابه
Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation
L.-H. Eriksson and P.A. Lindsay (Eds.): FME 2002, LCNS 2391, pages 310 329, July 2002. c © Springer-Verlag Berlin Heidelberg 2002. Abstract. We consider abstract specifications of cryptographic protocols which are both suitable for formal verification and maintain a sound cryptographic semantics. In this paper, we present the first abstract specification for ordered secure message transmission ...
متن کاملVerifying Implementations of Security Protocols by Refinement
We propose a technique for verifying high-level security properties of cryptographic protocol implementations based on stepwise refinement. Our refinement strategy supports reasoning about abstract protocol descriptions in the symbolic model of cryptography and gradually concretizing them towards executable code. We have implemented the technique within a general-purpose program verifier VCC an...
متن کاملAutomatic Generation of Security Protocols Implementations
The implementation of security protocols is challenging and error-prone. A model-driven development approach allows the automatic generation of an application, from a simpler and abstract model that can be formally verified. Our AnBx compiler is a tool for automatic generation of Java code of security protocols specified in the Alice&Bob notation. In contrast with existing tools, it uses a simp...
متن کاملSecrecy for Mobile Implementations of Security Protocols
Giambiagi, P. 2001: Secrecy for Mobile Implementations of Security Protocols. TRITA-IT AVH 01:05, Department of Microelectronics and Information Technology, Stockholm.ISSN 1403-5286. Mobile code technology offers interesting possibilities to the practitioner, but also raises strong concerns about security. One aspect of security is secrecy, the preservation of confidential information. This the...
متن کاملVerified Reference Implementations of WS-Security Protocols
We describe a new reference implementation of the web services security specifications. The implementation is structured as a library in the functional programming language F#. Applications written using this library can interoperate with other compliant web services, such as those written using Microsoft WSE and WCF frameworks. Moreover, the security of such applications can be automatically v...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formal Aspects of Computing
سال: 2017
ISSN: 0934-5043,1433-299X
DOI: 10.1007/s00165-017-0449-8